1. Handbook of proof theory
پدیدآورنده : edited by Samuel R. Buss
کتابخانه: (طهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
H2
2. Justice for all :
پدیدآورنده : edited by Norman J. Johnson and James H. Svara.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Equality-- United States.,Social justice-- United States.,Social values-- United States.,United States, Economic policy, 2009-,United States, Social policy, 1993-, 0, 0
3. Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
پدیدآورنده : edited by Samuel R. Buss, Petr Hajek, Pavel Pudlak
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
13
4. Logic Colloquium '98: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1
.
L64
1998
5. What is your dangerous idea? :
پدیدآورنده : edited by John Brockman ; with an introduction by Steven Pinker and an afterword by Richard Dawkins.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ethics.,Intellectual life.,Intellectuals.,Science and civilization.,Science-- Moral and ethical aspects.,Science-- Philosophy.
